Svéda, Miroslav: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Design of Networked Embedded Systems: An Approach for Safety and Security

Sveda, Miroslav, Trchalik, Roman, Ocenasek, Pavel

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 585 KB

english, 2009

2

Microcontroller software engineering

Miroslav Švéda

Journal:

Microprocessing and Microprogramming

Year:

1992

Language:

english

File:

PDF, 148 KB

english, 1992

3

ASI Instrumentation

Miroslav Švéda, Radimír Vrba, Pavel Legát, František Zezulka

Journal:

Microprocessing and Microprogramming

Year:

1994

Language:

english

File:

PDF, 276 KB

english, 1994

4

Design and development of industrial measurement system—Architecture and software

Miroslav Švéda

Journal:

Microprocessing and Microprogramming

Year:

1994

Language:

english

File:

PDF, 199 KB

english, 1994

5

Purification and characterization of nitrilase from Fusarium solani IMI196840

Vojtěch Vejvoda, David Kubáč, Alžběta Davidová, Ondřej Kaplan, Miroslav Šulc, Ondřej Šveda, Radka Chaloupková, Ludmila Martínková

Journal:

Process Biochemistry

Year:

2010

Language:

english

File:

PDF, 631 KB

english, 2010

6

Actuator-sensor-interface interconnectivity

Miroslav Švéda, Radimı́r Vrba

Journal:

Control Engineering Practice

Year:

1999

Language:

english

File:

PDF, 107 KB

english, 1999

7

Language prototyping with attribute grammars and macros

Miroslav Švéda

Journal:

Microprocessing and Microprogramming

Year:

1993

Language:

english

File:

PDF, 238 KB

english, 1993

8

An implementation-directed design method for microcontroller software

Miroslav Švéda

Journal:

Microprocessing and Microprogramming

Year:

1994

Language:

english

File:

PDF, 772 KB

english, 1994

9

Routers and bridges for small area network interconnection

Miroslav Švéda

Journal:

Computers in Industry

Year:

1993

Language:

english

File:

PDF, 415 KB

english, 1993

10

Design method, fail-stop safety model, and embedded application

Miroslav Švéda

Journal:

Journal of Systems Architecture

Year:

1997

Language:

english

File:

PDF, 1.20 MB

english, 1997

11

[IEEE 2010 Fifth International Conference on Systems (ICONS) - Menuires, TBD, France (2010.04.11-2010.04.16)] 2010 Fifth International Conference on Systems - An Embedded Application Regarded as a Cyber-Physical System

Sveda, Miroslav, Vrba, Radimir

Year:

2010

Language:

english

File:

PDF, 248 KB

english, 2010

12

[IEEE 2010 Ninth International Conference on Networks - Menuires, France (2010.04.11-2010.04.16)] 2010 Ninth International Conference on Networks - An Approach for Automated Network-Wide Security Analysis

Sveda, Miroslav, Rysavy, Ondrej, Matousek, Petr, Rab, Jaroslav

Year:

2010

Language:

english

File:

PDF, 279 KB

english, 2010

13

On formal reachability analysis in networks with dynamic behavior

Silva, Gayan, Ryšavý, Ondřej, Matoušek, Petr, Švéda, Miroslav

Journal:

Telecommunication Systems

Year:

2013

Language:

english

File:

PDF, 601 KB

english, 2013

14

[IEEE Second International Conference on Systems (ICONS'07) - Martinique, France (2007.04.22-2007.04.28)] Second International Conference on Systems (ICONS'07) - ZigBee-to-Internet Interconnection Architectures

Sveda, Miroslav, Trchalik, Roman

Year:

2007

Language:

english

File:

PDF, 196 KB

english, 2007

15

[IEEE 2009 First IEEE Eastern European Conference on the Engineering of Computer Based Systems (ECBS-EERC) - Novi Sad, Serbia (2009.09.7-2009.09.8)] 2009 First IEEE Eastern European Conference on the Engineering of Computer Based Systems - Designing and Implementing International RSIC Engineering Curriculum

Rysavy, Ondrej, Sveda, Miroslav, Kornecki, Andrew J., Hilburn, Thomas B., Grega, Wojciech, Pilat, Adam, Thiriet, Jean-Marc

Year:

2009

Language:

english

File:

PDF, 234 KB

english, 2009

16

[IEEE Sixth International Conference on Networking (ICN'07) - Sainte-Luce, Martinique, France (2007.04.22-2007.04.28)] Sixth International Conference on Networking (ICN'07) - Dependability-Driven Embedded Systems Networking

Sveda, Miroslav, Vrba, Radimir

Year:

2007

Language:

english

File:

PDF, 194 KB

english, 2007

17

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Fault Management Driven Design with Safety and Security Requirements

Sveda, Miroslav

Year:

2010

Language:

english

File:

PDF, 392 KB

english, 2010

18

[IEEE 2009 EAEEIE Annual Conference - Valencia, Spain (2009.06.22-2009.06.24)] 2009 EAEEIE Annual Conference - Methodology for creation of multidisciplinary, transatlantic engineering program in information technology

Grega, Wojciech, Hilburn, Tom, Kornecki, Andrew J., Rysavy, Ondrej, Sveda, Miroslav, Thiriet, Jean-Marc

Year:

2009

Language:

english

File:

PDF, 202 KB

english, 2009

19

[IEEE 2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS) - Las Vegas, NV, USA (2011.04.27-2011.04.29)] 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems - Reachability Analysis in Dynamically Routed Networks

Sveda, Miroslav, Rysavy, Ondrej, de Silva, Gayan, Matousek, Petr, Rab, Jaroslav

Year:

2011

Language:

english

File:

PDF, 663 KB

english, 2011

20

[IEEE Second International Conference on Systems (ICONS'07) - Martinique, France (2007.04.22-2007.04.28)] Second International Conference on Systems (ICONS'07) - Industrial Measurement Application Development Using Case-Based Reasoning

Sveda, Miroslav

Year:

2007

Language:

english

File:

PDF, 220 KB

english, 2007

21

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - End-User Development Framework for Embedded System Applications

Sveda, Miroslav

Year:

2007

Language:

english

File:

PDF, 150 KB

english, 2007

22

[IEEE 2009 EAEEIE Annual Conference - Valencia, Spain (2009.06.22-2009.06.24)] 2009 EAEEIE Annual Conference - Real-time software-intensive systems engineering: An international perspective

Sveda, Miroslav, Kornecki, Andrew J., Hilburn, Thomas B., Grega, Wojciech, Thiriet, Jean-Marc, Rysavy, Ondrej

Year:

2009

Language:

english

File:

PDF, 202 KB

english, 2009

23

[IEEE 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT 2010) - Moscow, Russia (2010.10.18-2010.10.20)] International Congress on Ultra Modern Telecommunications and Control Systems - Formal analysis approach on networks with dynamic behaviours

de Silva, Gayan, Matousek, Petr, Rysavy, Ondrej, Sveda, Miroslav

Year:

2010

Language:

english

File:

PDF, 1.38 MB

english, 2010

24

[IEEE 2008 19th EAEEIE Annual Conference - Tallinn (2008.06.29-2008.07.2)] 2008 19th EAEEIE Annual Conference - Industry feedback on skills and knowledge in real-time software engineering

Pilat, Adam, Kornecki, Andrew J., Thiriet, Jean-Marc, Grega, Wojciech, Sveda, Miroslav

Year:

2008

Language:

english

File:

PDF, 95 KB

english, 2008

25

[IEEE AFRICON 2013 - Pointe-Aux-Piments, Mauritius (2013.09.9-2013.09.12)] 2013 Africon - Cyber-physical systems networking with TCP/IP: A security application approach

Sveda, Miroslav, Vrba, Radimir

Year:

2013

Language:

english

File:

PDF, 326 KB

english, 2013

26

[IEEE 2009 Eighth International Conference on Networks - Gosier, Guadeloupe, France (2009.03.1-2009.03.6)] 2009 Eighth International Conference on Networks - Specifications of Secure and Safe Embedded System Networks

Sveda, Miroslav, Vrba, Radimir

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

27

[IEEE 2008 International Multiconference on Computer Science and Information Technology (IMCSIT) - Wisla, Poland (2008.10.20-2008.10.22)] 2008 International Multiconference on Computer Science and Information Technology - An RSIC-SE2004 curriculum framework

Hilburn, Thomas B., Kornecki, Andrew, Thiriet, Jean-Marc, Grega, Wojciech, Sveda, Miroslav

Year:

2008

File:

PDF, 162 KB

2008

28

[IEEE 2011 IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) - Dublin, Ireland (2011.05.23-2011.05.27)] 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops - Practical IPv6 monitoring-challenges and techniques

Gregr, Matej, Matousek, Petr, Sveda, Miroslav, Podermanski, Tomas

Year:

2011

Language:

english

File:

PDF, 632 KB

english, 2011

29

DEVELOPMENT ENVIRONMENT FOR LOCAL-TIME DESIGN METHOD

SVEDA, MIROSLAV

Journal:

Cybernetics & Systems

Year:

1996

Language:

english

File:

PDF, 219 KB

english, 1996

30

[IEEE 2008 15th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS) - Belfast, Northern Ireland (2008.03.31-2008.04.4)] 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008) - A Formal Model for Network-Wide Security Analysis

Matou¿ek, Petr, Ráb, Jaroslav, Ry¿avy, Ondrej, Svéda, Miroslav

Year:

2008

Language:

english

File:

PDF, 457 KB

english, 2008

31

[IEEE 2008 19th EAEEIE Annual Conference - Tallinn (2008.06.29-2008.07.2)] 2008 19th EAEEIE Annual Conference - Implementation of a US-European Transnational degree in engineering

Thiriet, Jean-Marc, Hilburn, Thomas B., Kornecki, Andrew, Grega, Wojciech, Sveda, Miroslav

Year:

2008

Language:

english

File:

PDF, 83 KB

english, 2008

32

[IEEE 2008 Third International Conference on Systems ICONS - Cancun, Mexico (2008.04.13-2008.04.18)] Third International Conference on Systems (icons 2008) - Meta-Design Support for Safe and Secure Networked Embedded Systems

Sveda, Miroslav, Vrba, Radimir

Year:

2008

Language:

english

File:

PDF, 287 KB

english, 2008

33

[IEEE 2009 Fourth International Conference on Systems - Gosier, Guadeloupe, France (2009.03.1-2009.03.6)] 2009 Fourth International Conference on Systems - Fault Management for Secure Embedded Systems

Sveda, Miroslav

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

34

[IEEE Second International Conference on Systems (ICONS'07) - Martinique, France (2007.04.22-2007.04.28)] Second International Conference on Systems (ICONS'07) - Formal Specs Reuse with Embedded Systems Design Behavioral and Architectural Specifications in Real-Time Application Domains

Sveda, Miroslav

Year:

2007

Language:

english

File:

PDF, 178 KB

english, 2007

35

On the Effective Internet Communication Filtering

Ocenasek, Pavel, Sveda, Miroslav

Journal:

Applied Mechanics and Materials

Year:

2013

Language:

english

File:

PDF, 259 KB

english, 2013

36

[IEEE 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) - Lubeck, Germany (2007.08.29-2007.08.31)] 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007) - Safety and Security-driven Design of Networked Embedded Systems

Sveda, Miroslav, Trchalik, Roman

Year:

2007

Language:

english

File:

PDF, 127 KB

english, 2007

37

AN APPROACH TO THE DESIGN OF NETWORKED EMBEDDED SYSTEMS

Sveda, Miroslav, Vrba, Radimir

Journal:

IFAC Proceedings Volumes

Year:

2005

Language:

english

File:

PDF, 343 KB

english, 2005

38

On the Implementation of Metrics in Industrial Embedded Systems

Ocenasek, Pavel, Trchalik, Roman, Sveda, Miroslav

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 400 KB

english, 2009

39

Unified Sensor Gateway Interconnection of sensor Networks

Trchalík, Roman, Švéda, Miroslav

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 289 KB

english, 2012

40

Executable Specifications with Rapid Prototyping for Embedded Distributed Systems

Švéda, Miroslav

Journal:

IFAC Proceedings Volumes

Year:

2003

Language:

english

File:

PDF, 752 KB

english, 2003

41

ASI Interconnectivity

Švéda, Miroslav, Vrba, Radimír

Journal:

IFAC Proceedings Volumes

Year:

1997

Language:

english

File:

PDF, 1.46 MB

english, 1997

42

Reuse of formal specifications in Embedded systems design

Miroslav, Sveda

Journal:

IFAC Proceedings Volumes

Year:

2006

Language:

english

File:

PDF, 6.87 MB

english, 2006

43

AVISPA: Towards Practical Verification of Communication Properties

Ocenasek, Pavel, Sveda, Miroslav

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 916 KB

english, 2009

44

Development of Interconnecting SW for Intranets and Fieldbuses

Sveda, Miroslav, Trchalik, Roman

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 473 KB

english, 2010